<template>
  <div>
    <h2>输入规则说明</h2>
    <ul>
      <li>not 、!、! 、﹁表示 非；示例：!a</li>
      <li>and 、∧ 表示 且；示例：我是人 and 我是地球人</li>
      <li>or 、∨ 表示 或；示例：太阳从西边升起 or 太阳从东别升起</li>
      <li>-> 、=> 表示 蕴含；示例：x的平方大于等于0 => 2的平方大于等于0</li>
      <li>&lt;-> 、&lt;=> 表示 当且仅当；示例：a大于b &lt;-> b小于a</li>
      <li>true和false表示真和假</li>
      <li>数字不能当作是谓词名</li>
      <li>当前仅支持命题逻辑分析！</li>
    </ul>
    <div>
      <h2>源代码链接</h2>
      <a href='https://gitee.com/qq1134380223/logic-workstation'><img
          src='https://gitee.com/qq1134380223/logic-workstation/widgets/widget_2.svg' alt='Fork me on Gitee'></img></a>
    </div>
  </div>
</template>

<script>
export default {};
</script>

<style>
</style>